Pf Deduction